$\forall$${\it the\_es}$:ES, $l$:IdLnk, ${\it e'}$:E. msgs($l$;before(${\it e'}$)) $\in$ (Msg on $l$) List